Computer systems - PDFSEARCH.IO - Document Search Engine

Computer systems
Results: 26232

#	Item
861	Quantitative Modal Transition Systems Kim Guldstrand Larsen Aalborg University, University Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:03 Theoretical computer science Logic in computer science Bisimulation
862	Specification and Complexity of Collaborative Text Editing Hagit Attiya Sebastian Burckhardt Alexey Gotsman Add to Reading List Source URL: software.imdea.org Language: English - Date: 2016-05-22 15:37:07 Fault-tolerant computer systems Communications protocol Data transmission IP State machine replication Constructible universe Computing Mathematics Creativity
863	CONTACT: Ian Jack TEL: PRODUCTS: K8 Manufacturing and K8 Field Service - a comprehensive, fully integrated ERP software Add to Reading List Source URL: connect-erp.com Language: English - Date: 2016-02-01 08:45:54 Business Professional studies Economy Kerridge Commercial Systems ERP software Computer-aided engineering Information technology management Management Manufacturing Enterprise resource planning Infor
864	Electrical & Computer Engineering ECE HONORS PROGRAM If you are performing exceptionally well in your undergraduate studies, you may wish to join the departmental honors scholar program. Add to Reading List Source URL: ece.mst.edu Language: English - Date: 2014-10-04 05:03:17 Academia Academic transfer Education Knowledge Course credit Grading systems by country
865	Energy Efficient Design of Portable Wireless Systems Tajana Simunic Haris Vikalo Peter Glynny Giovanni De Micheli y Management Science and Information Systems Computer Systems Engineering Department Add to Reading List Source URL: seelab.ucsd.edu Language: English - Date: 2012-06-04 16:50:20 Local area networks IEEE 802.11 Power control Doze Computing Wireless
866	C A S E S T U DY Electrical contracting firm short-circuits malware threats Briggs Electric uses Malwarebytes to remediate CryptoLocker and prevent malware from shocking its systems Add to Reading List Source URL: ru.malwarebytes.com Language: English Software Computer security Cyberwarfare Antivirus software Malwarebytes Anti-Malware Malware Ransomware Computer virus Rootkit Zero-day Avira IObit
867	"Share Link" on T-OnTheGoTM for iOS/Android June, 2014 1 Add to Reading List Source URL: www.thecus.com Language: English - Date: 2014-06-19 02:54:59 Software Computing Smartphones Computer architecture Mobile operating systems IOS Mach Android IOS version history
868	Cloud Controller Development and Testing Overview Development and testing the storage product which delivers cloud-integrated local NAS (Network Attached Storage) capabilities to a globally-distributed enterprise, allow Add to Reading List Source URL: sdn.calsoftlabs.com Language: English - Date: 2014-03-25 06:13:27 Computing Software Computer data storage Network file systems Software appliances RAID Volume manager ZFS Server Message Block Network-attached storage Network File System ALTEN Calsoft Labs
869	Genuine replication, opacity and wait-free read transactions: can a STM get them all? Sebastiano Peluso12 , Paolo Romano2 , and Francesco Quaglia1 1 2 Add to Reading List Source URL: rp-www.cs.usyd.edu.au Language: English - Date: 2012-07-13 03:58:18 Computing Transaction processing Data management Data Concurrency control Databases Fault-tolerant computer systems Replication Serializability Consistency model Software transactional memory Transactional memory
870	Verified Squared: Does Critical Software Deserve Verified Tools? Xavier Leroy ∗ INRIA Paris-Rocquencourt Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-12-29 13:37:29 Theoretical computer science Software engineering Computing Logic in computer science Formal methods Compiler construction Formal verification ACM Transactions on Programming Languages and Systems Semantics Compiler Programming language Operational semantics

UPDATE